es{-}time(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$((${\it es}$.2.2.2.2.2.2.2.2.2.2.2.2.2).1)($e$)